Nombre semi-parfait primaire

Démonstration graphique du fait que ${\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{11}}+{\frac {1}{23}}+{\frac {1}{31}}+{\frac {1}{2.13.11.23.31}}=1,$ ce qui montre que le produit 2×3×11×23×31=47058 est un nombre semi-parfait primaire.Chaque rangée de *$k$* carrés de longueur de côté 1/ *$k$* a une aire totale de 1/ *$k$* , et tous les carrés réunis recouvrent exactement un carré plus grand d'aire égale à 1. La rangée inférieure de 47058 carrés dont le côté mesure 1/47058 est trop petite pour être visible sur la figure et n'est pas représentée.

En mathématiques, et particulièrement en théorie des nombres, un nombre semi-parfait primaire ou pseudoparfait primaire est un entier strictement positif $N$ satisfaisant la relation :

{\frac {1}{N}}+\sum _{p\,|\;\!N}{\frac {1}{p}}=1,

où la somme couvre les diviseurs premiers de $N$ .

Cette relation fournit une décomposition en somme de fractions égyptiennes du nombre 1.

Propriétés[modifier | modifier le code]

De manière équivalente, $N$ est un nombre semi-parfait primaire s’il satisfait la relation

1+\sum _{p\,|\;\!N}{\frac {N}{p}}=N.

Sauf pour le nombre pseudo-parfait primaire $N$ = 2, cette expression donne une représentation de $N$ en somme de diviseurs stricts de $N$ . Par conséquent, tout nombre pseudo-parfait primaire $N$ (sauf $N$ = 2) est également semi-parfait.

Les huit nombres semi-parfaits primaires connus sont

2, 6, 42, 1806, 47058, 2214502422, 52495396602, 8490421583559688410706771261086 (suite A054377 de l'OEIS).

Les quatre premiers de ces nombres sont égaux aux nombres correspondants de la suite de Sylvester moins 1, mais ensuite les deux suites divergent.

On ne sait pas s’il existe une infinité de nombres semi-parfaits primaires ou s’il existe des nombres semi-parfaits primaires impairs.

Les facteurs premiers des nombres semi-parfaits primaires peuvent parfois fournir des solutions au problème de Znám où de plus tous les éléments de l'ensemble solution sont premiers. Par exemple, les facteurs premiers du nombre semi-parfait primaire 47058 forment l'ensemble de solutions {2, 3, 11, 23, 31} du problème de Znám. Cependant, les nombres semi-parfaits primaires plus petits 2, 6, 42 et 1806 ne correspondent pas aux solutions du problème de Znám par le même procédé, car leurs ensembles de facteurs premiers violent l'exigence selon laquelle aucun nombre dans l'ensemble ne peut être égal à 1 plus le produit des autres. Premchand Anne observe qu'il existe exactement un ensemble de solutions de ce type qui contient k nombres premiers, pour tout k ≤ 8, et suppose qu'il en va de même pour k plus grand^[1].

Si un nombre semi-parfait primaire $N$ est inférieur de un à un nombre premier, alors $N(N+1)$ est également semi-parfait primaire. Par exemple, 47058 est semi-parfait primaire et 47059 est premier, donc 47058 × 47059 = 2214502422 est également semi-parfait primaire.

Historique[modifier | modifier le code]

Les nombres semi-parfait primaires ont été étudiés et nommés ainsi pour la première fois par Butske, Jaje et Mayernik^[2]. En utilisant des techniques de recherche informatique, ils ont prouvé le résultat remarquable selon lequel pour tout entier strictement positif $r$ jusqu'à 8, il existe exactement un nombre semi-parfait primaire avec précisément $r$ facteurs premiers (distincts), à savoir le $r$ -ième nombre semi-parfait primaire connu. Ceux vérifiant 2 ≤ $r$ ≤ 8, lorsqu'ils sont réduits modulo 288, forment la progression arithmétique 6, 42, 78, 114, 150, 186, 222, comme l'ont observé Sondow et MacMillan^[3].

Voir aussi[modifier | modifier le code]

Nombre de Giuga, vérifiant $\sum _{p\,|\;\!N}{\frac {1}{p}}-\prod _{p\,|\;\!N}{\frac {1}{p}}$ est entier.

Références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Primary pseudoperfect number » (voir la liste des auteurs).

↑ (en) Premchand Anne, « Egyptian fractions and the inheritance problem », The College Mathematics Journal, Mathematical Association of America, vol. 29, n^o 4,‎ 1998, p. 296–300 (DOI 10.2307/2687685, JSTOR 2687685)

↑ (en) William Butske, Lynda M. Jaje, Daniel R. Mayernik, « On the equation ∑_{p | N} (1 / p) + 1 / N = 1, pseudoperfect numbers, and perfectly weighted graphs », Mathematics of Computation, vol. 69,‎ 2000, p. 407–420 (lire en ligne)

↑ (en) Jonathan Sondow, Kieren MacMillan, « Primary pseudoperfect numbers, arithmetic progressions, and the Erdős-Moser equation », The American Mathematical Monthly, vol. 124, n^o 3,‎ 2017 (lire en ligne)

Liens externes[modifier | modifier le code]

(en) Eric W. Weisstein, « Primary Pseudoperfect Number », sur MathWorld

Portail des mathématiques

[1]

[2]

[3]